Ray and Raven
نویسندگان
چکیده
منابع مشابه
John Raven
John Raven is Boyd Baxter Professor of Biology at the University of Dundee. He studied botany at the University of Cambridge, and stayed on for a PhD in plant biophysics with an exceptionally insightful scientist and mentor, Professor Enid MacRobbie. His research at Dundee is centred on how organisms acquire and manipulate resources from their environment with particular emphasis on photosynthe...
متن کاملTaming the Raven - Testing the Random Access, Visualization and Exploration Network RAVEN
The Random Access, Visualization and Exploration Network (RAVEN) aims to allow for the storage, analysis and visualisation of peta-bytes of scientific data in (near) real-time. In essence, RAVEN is a huge distributed and parallel system. While testing of distributed systems, such as huge telecommunication systems, is well understood and performed systematically, testing of parallel systems, in ...
متن کاملRapid communication Smoking and Raven IQ
Nicotine has recently been shown to enhance measures of information processing speed including the decision time (DT) component of simple and choice reaction time, the inspection time (IT) measure of perceptual speed and the string length measure of evoked potential waveform complexity . All three tasks (DT, IT and string length) have been previously demonstrated to correlate with performance o...
متن کاملRAVEN: Real-Time Analyzing and Verification Environment
In this paper we present the real-time verification and analysis tool RAVEN. RAVEN is developed for verifying timed systems on various levels of abstraction. It integrates a real-time model checker for real-time specifications, it offers algorithms for analyzing critical delay times, for inspecting data values and event occurrences and for detecting dead-locks and live-locks. The counter exampl...
متن کاملAdaptive Flight Control Experiments using RAVEN
This paper discusses a new flight test facility at MIT known as the Real-time indoor Autonomous Vehicle test ENvironment (RAVEN) which enables the exploration of aggressive aerobatic flight with relatively low risk. A key feature of this work is that the control algorithms are often the limiting factor because the flight dynamics are highly nonlinear and not well known, and they can change with...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1986
ISSN: 0028-0836,1476-4687
DOI: 10.1038/323499a0